add_simple_test(
  NAME 6-counter
  SOURCES counter.v
  BOARDS ${BOARDS}
  )
